( sig pk --- result ) 
OP_DUP verifypkh OP_CHECKSIG